Section: Dissemination

Teaching - Supervision - Juries

• Licence :

  • Medhi Bouaziz, Introduction to Programmation and Computer Sciences (Practical Works), 36ETD, L1, Université Paris-Diderot, France.

  • Mehdi Bouaziz, Intensive course of algorithm, 35h ETD, Epita, Le Kremlin-Bicêtre, France.

  • Mehdi Bouaziz, Preparation to the International Olympiad in Informatics, 40h ETD, Epita, Le Kremlin-Bicètre, France.

  • Mehdi Bouaziz took the French team to the International Olympiad in Informatics at Brisbane, Australia.

  • Tie Cheng, Introduction to algorithmics, 42h ETD, L3, École Polytechnique, Palaiseau, France.

  • Jérôme Feret, and Caterina Urban, Mathematics, 40h ETD, L1, Licence Frontiers in Life Sciences (FdV), Université Paris-Descartes, France.

  • Xavier Rival, Introduction to algorithmics, 40h ETD, L3, École Polytechnique, Palaiseau, France.

  • Arnaud Spiwack, Introduction to recursive programming, 42h ETD, Université Pierre et Marie Curie (Paris 6), Paris, France.

  • Antoine Toubans, Mathematics, 40hETD, L2, Université de Jussieu, Paris, France.

• Master :

  • Jérôme Feret, Computational Biology, 9h ETD, M1. Interdisciplinary Approaches to Life Science (AIV), Master Program, Université Paris-Descartes, France.

  • Jérôme Feret, Antoine Miné, and Xavier Rival, Abstract Interpretation: application to verification and static analysis, 72h ETD, M2. Parisian Master of Research in Computer Science (MPRI). École normale supérieure. France.

  • Xavier Rival, 20h ETD, M1, École Polytechnique, Palaiseau, France.

  • Mehdi Bouaziz, Tie Cheng, Jérôme Feret, Antoine Miné, Xavier Rival, Caterina Urban, Abstract Interpretation, 30h ETD, M1-M2. East China Normal University, Shanghai, China.

• Doctorat :

  • Jérôme Feret, Abstract interpretation of intracellular signaling pathways, 4.5h ETD, CNRS Summer School on Formal modeling of Biological Regulatory Networks, Porquerolles, France.

  • Antoine Miné, Inferring affine program invariants by abstract interpretation, 4.5h ETD, Spring School on Polyhedra Code Analysis and Optimization, Saint Germain au Mont d’Or, France, May 13–17, 2013.

• HdR : Antoine Miné, Static analysis by abstract interpretation of concurrent programs, École normale supérieure, 28 May 2013.

• PhD in progress:

  • Mehdi Bouaziz, Static analysis of security properties by abstract interpretation. November 2011, Patrick Cousot and Jérôme Feret, École Normale Supérieure.

  • Ferdinanda Camporesi, Abstraction of Quantitative Semantics of Rule-based models, January 2009, Radhia Cousot and Jérôme Feret (co-directed thesis with Maurizio Gabrielli, University of Bologna).

  • Arlen Cox, Representing dynamic languages heaps using parametric, modular, container abstract domains, 2013, Xavier Rival, École Normale Supérieure (co-directed thesis with Bor-Yuh Evan Chang, University of Colorado at Boulder).

  • Tie Cheng, Static analysis of spreadsheet macros, October 2011, Xavier Rival, École Polytechnique.

  • Vincent Laviron, Static Analysis of Functional Programs by Abstract Interpretation, October 2009, Patrick Cousot, École Normale Supérieure.

  • Jiangchao Liu, Verification of the memory safety of a micro-kernel, December 2013, Xavier Rival, École Normale Supérieure

  • Antoine Toubhans, Combination of shape abstract domains, October 2011, Xavier Rival, École Doctorale de Paris Centre

  • Caterina Urban, Static Analysis of Functional Temporal Properties of Programs by Abstract Interpretation, November 2011, Radhia Cousot and Antoine Miné, École Normale Supérieure.